論理へのアプローチ 4.真とは